1
In-Memory Computing: Synthesis and Optimization

In-Memory Computing: Synthesis and Optimization

Saeideh Shirinzadeh, Rolf Drechsler
Anno:
2019
Lingua:
english
File:
PDF, 2.05 MB
0 / 0
english, 2019
2
Debugging at the Electronic System Level

Debugging at the Electronic System Level

Frank Rogin, Rolf Drechsler (auth.)
Anno:
2010
Lingua:
english
File:
PDF, 2.72 MB
0 / 0
english, 2010
5
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

Joachim Wegener (auth.), Rolf Drechsler, Nicole Drechsler (eds.)
Anno:
2003
Lingua:
english
File:
PDF, 14.21 MB
0 / 0
english, 2003
6
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
Anno:
2004
Lingua:
english
File:
PDF, 4.44 MB
0 / 0
english, 2004
7
Computer - Wie funktionieren Smartphone, Tablet & Co.?

Computer - Wie funktionieren Smartphone, Tablet & Co.?

Rolf Drechsler, Andrea Fink, Jannis Stoppe
Anno:
2017
Lingua:
german
File:
PDF, 2.44 MB
0 / 0
german, 2017
13
Advanced formal verification

Advanced formal verification

Rolf Drechsler
Anno:
2004
Lingua:
english
File:
PDF, 2.02 MB
0 / 0
english, 2004
16
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
Anno:
2004
Lingua:
english
File:
PDF, 4.44 MB
0 / 0
english, 2004
19
Advanced Formal Verification

Advanced Formal Verification

Rolf Drechsler
Anno:
2004
Lingua:
english
File:
PDF, 4.04 MB
0 / 0
english, 2004
22
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Vladimir Herdt, Daniel Große, Rolf Drechsler
Anno:
2021
Lingua:
english
File:
PDF, 4.83 MB
0 / 0
english, 2021
23
Formal system verification : state-of the-art and future trends

Formal system verification : state-of the-art and future trends

Drechsler, Rolf
Anno:
2018
Lingua:
english
File:
PDF, 6.33 MB
0 / 5.0
english, 2018
24
Information Storage: A Multidisciplinary Perspective

Information Storage: A Multidisciplinary Perspective

Cornelia S. Große, Rolf Drechsler
Anno:
2020
Lingua:
english
File:
PDF, 6.62 MB
0 / 0
english, 2020
25
Advanced Logic Synthesis

Advanced Logic Synthesis

André Inácio Reis, Rolf Drechsler (eds.)
Anno:
2018
Lingua:
english
File:
PDF, 6.76 MB
0 / 5.0
english, 2018
27
Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation

Mathias Soeken, Rolf Drechsler
Anno:
2020
Lingua:
english
File:
PDF, 3.59 MB
5.0 / 5.0
english, 2020
29
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

Mathias Soeken, Rolf Drechsler (auth.)
Anno:
2015
Lingua:
english
File:
PDF, 7.24 MB
0 / 0
english, 2015
30
Exact Design of Digital Microfluidic Biochips

Exact Design of Digital Microfluidic Biochips

Oliver Keszocze, Robert Wille, Rolf Drechsler
Anno:
2019
Lingua:
english
File:
PDF, 4.03 MB
0 / 0
english, 2019
31
Design Automation for Field-coupled Nanotechnologies

Design Automation for Field-coupled Nanotechnologies

Marcel Walter, Robert Wille, Frank Sill Torres, Rolf Drechsler
Anno:
2022
Lingua:
english
File:
PDF, 5.57 MB
0 / 0
english, 2022
36
Quality-Driven SystemC Design

Quality-Driven SystemC Design

Daniel Große, Rolf Drechsler (auth.)
Anno:
2010
Lingua:
english
File:
PDF, 2.70 MB
0 / 0
english, 2010
37
Enhanced Virtual Prototyping for Heterogeneous Systems

Enhanced Virtual Prototyping for Heterogeneous Systems

Muhammad Hassan, Daniel Große, Rolf Drechsler
Anno:
2022
Lingua:
english
File:
PDF, 3.34 MB
0 / 5.0
english, 2022
38
Advanced BDD Optimization

Advanced BDD Optimization

Rudiger Ebendt, Görschwin Fey, Rolf Drechsler
Anno:
2005
Lingua:
english
File:
PDF, 3.46 MB
0 / 0
english, 2005
42
Formal System Verification: State-of the-Art and Future Trends

Formal System Verification: State-of the-Art and Future Trends

Drechsler, Rolf
Anno:
2018
Lingua:
english
File:
PDF, 6.33 MB
0 / 0
english, 2018
43
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler (auth.)
Anno:
1998
Lingua:
english
File:
PDF, 4.85 MB
0 / 0
english, 1998
44
Formal Verification of Structurally Complex Multipliers

Formal Verification of Structurally Complex Multipliers

Alireza Mahzoon, Daniel Große, Rolf Drechsler
Anno:
2023
Lingua:
english
File:
PDF, 4.19 MB
5.0 / 5.0
english, 2023
45
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

Stephan Eggersglüß, Rolf Drechsler (auth.)
Anno:
2012
Lingua:
english
File:
PDF, 1.51 MB
0 / 0
english, 2012
46
Formal Verification of Circuits

Formal Verification of Circuits

Rolf Drechsler (auth.)
Anno:
2000
Lingua:
english
File:
PDF, 12.73 MB
0 / 0
english, 2000
47
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

Rolf Drechsler, Bernd Becker (auth.)
Anno:
1998
Lingua:
english
File:
PDF, 7.56 MB
0 / 0
english, 1998
49
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

Robert Wille, Rolf Drechsler (auth.)
Anno:
2010
Lingua:
english
File:
PDF, 3.49 MB
0 / 0
english, 2010
50
Robustness and Usability in Modern Design Flows

Robustness and Usability in Modern Design Flows

Görschwin Fey, Rolf Drechsler
Anno:
2008
Lingua:
english
File:
PDF, 769 KB
0 / 0
english, 2008